<div style="margin:0.5em 0.5em 0.5em 0;">
	<pre style="margin:0;"><span style="margin:0;background-color: #cde; margin-left: 0.5em;"> The file "<?=$file ?>" (line <?=$line?>) dumps:</span></pre>
	<div style="margin:0;border-left: 1em solid #cde; margin-left: 0.5em;">
		<pre style="margin:0; padding:1em;"><?=$dump?></pre>		
	</div><span style="display:block; width: 2em; height: 2em; background-color: #abc;"></span>
</div>